RAT Requirements Analysis Tool
نویسندگان
چکیده
Notices For information, contact RAT ([email protected]). This tool has been developed within the PROSYD European project, contract number 507219. The information in this document is provided " as is " , and no guarantee or warranty is given that the information is fit for any particular purpose. The user thereof uses the information at its sole risk and liability.
منابع مشابه
A Rationale-based Analysis Tool
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different stakeholders to create, generate and refine a consistent and traceable analysis model, from a use case model. The analysis model consists of UML classes and sequence diagrams. The tool uses traceability links to propaga...
متن کاملUsing syntactic and semantic analyses to improve the quality of requirements documentation
We discuss our experiences with deploying a tool called the Requirements Analysis Tool (RAT), which automatically reviews requirements documents for clarity and content based issues using a variety of syntactic and semantic techniques. The tool has been deployed at over 500 large software projects. We provide an overview of our syntactic approach, which is based on enforcing restrictions on bot...
متن کاملRATSY - A New Requirements Analysis Tool with Synthesis
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the Requirements Analysis Tool RAT. RATSY extends RAT in several ways. First, it includes a new graphical user interface to specify system properties as simple Büchi word automata. Second, it can help debug incorrect specifi...
متن کاملEfficient Verification of PSL Properties
Hardware design engineers increasingly leverage formal properties. Nowadays properties are not only used for the formal verification of a design’s correctness, but also for the communication of design intent, and the specification of a design’s requirements. A formal specification is a first and substantial step to ensure high quality, as the unambiguous syntax leaves no room for misinterpretat...
متن کاملAnalysis of the Essential Requirements for a Domain Analysis Tool
The overall domain analysis process is a large and complex process involving a web of many activities. An effective domain analysis tool must address the need to track many different types of information and dependencies. Investigating other fields such as requirements traceability, tool integration, and critiquing systems has helped to derive several requirements for a domain analysis tool whi...
متن کامل